Manquinho, V.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE Comput. Soc Ninth IEEE International Conference on Tools with Artificial Intelligence - Newport Beach, CA, USA (3-8 Nov. 1997)] Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence - Prime implicant computation using satisfiability algorithms

Manquinho, V.M., Flores, P.F., Silva, J.P.M., Oliveira, A.L.

Year:

1997

Language:

english

File:

PDF, 627 KB

english, 1997

2

DFT and Minimum Leakage Pattern Generation for Static Power Reduction During Test and Burn-In

Wei-Chung Kao, Wei-Shun Chuang, Hsiu-Ting Lin, Li, J.C.-M., Manquinho, V.

Journal:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year:

2010

Language:

english

File:

PDF, 672 KB

english, 2010

3

[American Institute of Aeronautics and Astronautics 50th AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition - Nashville, Tennessee ()] 50th AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition - Identification of Gas Turbine Ground Vortex Formation Regimes

Barata, Jorge, Manquinho, Pedro, Silva, Andre

Language:

english

File:

PDF, 3.51 MB

english

4

[IEEE 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI) - Boca Raton, FL, USA (2011.11.7-2011.11.9)] 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence - Exploiting Cardinality Encodings in Parallel Maximum Satisfiability

Martins, Ruben, Manquinho, Vasco, Lynce, Inês

Year:

2011

Language:

english

File:

PDF, 221 KB

english, 2011

5

An overview of parallel SAT solving

Ruben Martins, Vasco Manquinho, Inês Lynce

Journal:

Year:

2012

Language:

english

File:

PDF, 641 KB

english, 2012

6

Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes

Delgado, João, Lynce, Inês, Manquinho, Vasco

Journal:

Journal of Computational Biology

Year:

2010

Language:

english

File:

PDF, 601 KB

english, 2010

7

[IEEE Comput. Soc Meeting on Design Automation and Test in Europe - Paris, France (27-30 March 2000)] Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537) - On using satisfiability-based pruning techniques in covering algorithms

Manquinho, V.M., Marques-Silva, J.

Year:

2000

Language:

english

File:

PDF, 117 KB

english, 2000

8

Improving linear search algorithms with model-based approaches for MaxSAT solving

R. Martins, V. Manquinho, I. Lynce

Year:

2015

Language:

english

File:

PDF, 921 KB

english, 2015

9

Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids

Varela, Pedro L., Lynce, Inês, Manquinho, Vasco, Chaouiya, Claudine, Monteiro, Pedro T.

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 508 KB

english, 2018

10

PackUp: Tools for Package Upgradability Solving1

Janota, MikolÃ¡Å¡, Lynce, InÃªs, Manquinho, Vasco, Marques-Silva, Joao

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2012

File:

PDF, 673 KB

2012

11

[IEEE 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05) - Hong Kong, China (2005.11.16-2005.11.16)] 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05) - Satisfiability-based algorithms for pseudo-Boolean optimization using Gomory cuts and search restarts

Manquinho, V.M., Marques-Silva, J.

Year:

2005

Language:

english

File:

PDF, 172 KB

english, 2005

12

[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - On using satisfiability-based pruning techniques in covering algorithms

Manquinho, Vasco M., Marques-Silva, João

Year:

2000

Language:

english

File:

PDF, 216 KB

english, 2000

13

Virtual machine consolidation using constraint-based multi-objective optimization

Terra-Neves, Miguel, Lynce, Inês, Manquinho, Vasco

Journal:

Journal of Heuristics

Year:

2018

Language:

english

File:

PDF, 2.66 MB

english, 2018

14

PicoSAT Essentials

Biere, Armin, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 689 KB

2008

15

[American Institute of Aeronautics and Astronautics 46th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Nashville, TN ()] 46th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - A Comparison of Different Gas Turbine Engines Ground Vortex Flows

Barata, Jorge, Manquinho, Pedro, Silva, André

Year:

2010

Language:

english

File:

PDF, 1.52 MB

english, 2010

16

Whose side are you on?1

Heule, Marijn J.H., van Maaren, Hans, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 1.41 MB

2008

17

Combining Adaptive and Dynamic Local Search for Satisfiability

Nghia Pham, Duc, Thornton, John, Gretton, Charles, Sattar, Abdul, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 905 KB

2008

18

tts: A SAT-Solver for Small, Difficult Instances

Spence, Ivor, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 386 KB

2008

19

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis1

Pipatsrisawat, Knot, Palyan, Akop, Chavira, Mark, Choi, Arthur, Darwiche, Adnan, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 708 KB

2008

20

[IEEE Comput. Soc 16th IEEE International Conference on Tools with Artificial Intelligence - Boca Raton, FL, USA (15-17 Nov. 2004)] 16th IEEE International Conference on Tools with Artificial Intelligence - Integration of lower bound estimates in pseudo-Boolean optimization

Manquinho, V.M., Marques-Silva, J.

Year:

2004

Language:

english

File:

PDF, 173 KB

english, 2004

21

A Switching Criterion for Intensification and Diversification in Local Search for SAT12

Wei, Wanxia, Li, Chu Min, Zhang, Harry, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 500 KB

2008

22

Parallel SAT Solving using Bit-level Operations1

Heule, Marijn, van Maaren, Hans, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 416 KB

2008

23

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

Martins, Ruben, Joshi, Saurabh, Manquinho, Vasco, Lynce, InÃªs

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2015

File:

PDF, 1.13 MB

2015

24

2006 and 2007 Max-SAT Evaluations: Contributed Instances

Heras, Federico, Larrosa, Javier, de Givry, Simon, Schiex, Thomas, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 302 KB

2008

25

Search pruning techniques in SAT-based branch-and-bound algorithms for the binate covering problem

Manquinho, V.M., Marques-Silva, J.P.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2002

Language:

english

File:

PDF, 393 KB

english, 2002

26

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - Non-Portfolio Approaches for Distributed Maximum Satisfiability

Terra-Neves, Miguel, Lynce, Ines, Manquinho, Vasco

Year:

2016

Language:

english

File:

PDF, 581 KB

english, 2016

27

The First Evaluation of Pseudo-Boolean Solvers (PBâ05)

Manquinho, Vasco M., Roussel, Olivier, Le Berre, Daniel, Simon, Laurent

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 877 KB

2006

28

The First and Second Max-SAT Evaluations

Argelich, Josep, Li, Chu-Min, ManyÃ , Felip, Planes, Jordi, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 1.08 MB

2008

29

Guest Editors Conclusion

Speckenmeyer, Ewald, Tacchella, Armando, Manquinho, Vasco, Li, Chu Min, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 55 KB

2008

30

[IEEE Design, Automation and Test in Europe - Munich, Germany (07-11 March 2005)] Design, Automation and Test in Europe - Effective Lower Bounding Techniques for Pseudo-Boolean Optimization

Manquinho, V.M., Marques-Silva, J.

Year:

2005

Language:

english

File:

PDF, 138 KB

english, 2005

31

[American Institute of Aeronautics and Astronautics 53rd AIAA Aerospace Sciences Meeting - Kissimmee, Florida ()] 53rd AIAA Aerospace Sciences Meeting - Pressure Based Comparison of Different Gas Turbine Ground Vortex Flows

Barata, Jorge M., Manquinho, Pedro A., Silva, Andre R.

Language:

english

File:

PDF, 8.70 MB

english

32

On Using Cutting Planes in Pseudo-Boolean Optimization

Manquinho, Vasco M., Marques-Silva, JoÃ£o, Le Berre, Daniel, Simon, Laurent

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 198 KB

2006

33

Deterministic Parallel MaxSAT Solving

Martins, Ruben, Manquinho, Vasco, Lynce, Inês

Journal:

International Journal of Artificial Intelligence Tools

Year:

2015

Language:

english

File:

PDF, 342 KB

english, 2015

34

[IEEE 2010 22nd International Conference on Tools with Artificial Intelligence (ICTAI) - Arras, France (2010.10.27-2010.10.29)] 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - Improving Search Space Splitting for Parallel SAT Solving

Martins, Ruben, Manquinho, Vasco, Lynce, Ines

Year:

2010

Language:

english

File:

PDF, 236 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски